1. A hierarchy of Turing degrees :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Unsolvability (Mathematical logic) ; Computable functions. ; Recursively enumerable sets. ;
2. A programming approach to computability
پدیدآورنده : / A. J. Kfoury, Robert N. Moll, Michael A. Arbib
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Computable functions,Programming (Electronic computers)
رده :
QA9
.
59
.
K46
3. A programming approach to computability
پدیدآورنده : Kfoury, A. J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computable functions,، Computer programming
رده :
QA
9
.
59
.
K46
1982
4. Algebraic computability and enumeration models : recursion theory and descriptive complexity
پدیدآورنده : Nourani, Cyrus F.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Functor theory,، Model theory,، Computable functions,، Algebra, Homological,، Kleene algebra
رده :
QA
169
.
N68A4
5. Algorithmic randomness and complexit
پدیدآورنده : Rod Downey, Denis Hirschfeldt
موضوع : Computational complexity,Computable functions
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
6. Algorithmic randomness and complexity
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computational complexity. ; Computable functions. ;
7. Algorithmic randomness and complexity
پدیدآورنده : Downey, R. G. )Rod G.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Computational complexity,، Computable functions
رده :
QA
267
.
7
.
D69
2010
8. Algorithmic randomness and complexity
پدیدآورنده : / Rodney G. Downey, Denis R. Hirschfeldt
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computational complexity,Computable functions
رده :
E-BOOK
9. An introduction to computable Languages and abstract machines
پدیدآورنده : Parkes, Alan
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computable functions , Formal Languages , Machine Theory
رده :
QA
267
.
3
.
P37
10. An invitation to applied category theory :
پدیدآورنده : Brendan Fong, David I. Spivak.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
رده :
QA9
.
25
.
F66
2019
11. An invitation to applied category theory :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;
12. Applying computational intelligence: <how to creat value>
پدیدآورنده : / Arthur Kordon
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Computational intelligence,Computable functions,Soft computing,Mathematical optimization,Artificial intelligence
رده :
006
.
3
K84A
2009
13. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
پدیدآورنده : Hermes, Hans.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
رده :
QA
248
.
5
.
H4
1971
14. Automata
پدیدآورنده : Hopkin, David.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Machine theory,، Turing machines,، Computable functions
رده :
QA
267
.
H57
15. Automata and computability /
پدیدآورنده : Dexter C. Kozen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computable functions.,Machine theory.,Abstracte automaten.,Automatentheorie.,Automates mathématiques, Théorie des.,Berechenbarkeit,Berekenbaarheid.,Complexité de calcul (informatique),Computable functions.,Endlicher Automat,Fundamentele informatica.,Kellerautomat,Kontextfreie Grammatik,Machine theory.,Machines séquentielles, Théorie des.,Reguläre Menge,Turing, Machines de.,Turing-Maschine
رده :
QA267
.
K69
1997eb
16. Automata, computability and complexity :
پدیدآورنده : Elaine Rich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.,Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.
رده :
QA267
.
R53
2008
17. Berechenbarkeit, Komplexität, Logik :
پدیدآورنده : Egon Börger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computable functions.,Computational complexity.,Logic, Symbolic and mathematical.
رده :
QA9
.
56
E366
1992
18. Beyond the horizon of computability :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computable functions ;
19. Compability theory, Semantics, and logic programming
پدیدآورنده : Melvin C. Fitting
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)
موضوع : Computable functions,Data structures (computer science)
رده :
QA
9
.
59
.
F58
1986
